$\forall$$n$:$\mathbb{N}$. (upto($n$) = [] $\in$ ($\mathbb{Z}$ List)) $\Leftarrow\!\Rightarrow$ ($n$ = 0 $\in$ $\mathbb{Z}$)